[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 23 0 16 20 18 22

N.S.

1 1.00 1.00 0.96 0.00 0.67 0.83 0.75 0.92

time (sec)

N/A 0.159 0.004 0.347 0.000 0.300 0.388 0.300 5.662

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 23 0 16 20 16 22

N.S.

1 1.00 1.00 0.96 0.00 0.67 0.83 0.67 0.92

time (sec)

N/A 0.156 0.003 0.277 0.000 0.258 0.385 0.294 5.639

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 22 0 13 17 27 21

N.S.

1 1.00 1.00 1.05 0.00 0.62 0.81 1.29 1.00

time (sec)

N/A 0.159 0.018 0.219 0.000 0.273 0.447 0.303 5.409

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

21 21 21 0 0 14 24 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.67 1.14 0.00 0.00

time (sec)

N/A 0.158 0.004 0.000 0.000 0.255 0.737 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 23 0 16 22 18 23

N.S.

1 1.00 1.00 1.05 0.00 0.73 1.00 0.82 1.05

time (sec)

N/A 0.156 0.004 0.283 0.000 0.256 0.397 0.288 5.628

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.152 0.002 0.110 0.198 0.260 0.016 0.269 0.023

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 14 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.82 0.76 0.71 0.76 0.76

time (sec)

N/A 0.154 0.001 0.082 0.183 0.306 0.015 0.269 0.021

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.151 0.001 0.022 0.190 0.262 0.015 0.288 0.020

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 10 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.147 0.000 0.019 0.192 0.237 0.015 0.269 0.017

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 11 10 12 11

N.S.

1 1.00 1.00 0.92 1.08 0.85 0.77 0.92 0.85

time (sec)

N/A 0.153 0.002 0.026 0.197 0.238 0.031 0.262 0.023

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 14 8 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.93 0.53 0.87 0.87

time (sec)

N/A 0.153 0.001 0.026 0.189 0.248 0.029 0.295 0.025

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 11 10 15 8 10 10

N.S.

1 1.00 1.00 0.92 0.83 1.25 0.67 0.83 0.83

time (sec)

N/A 0.149 0.001 0.029 0.188 0.287 0.035 0.380 0.024

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 14 17 10 18 11

N.S.

1 1.00 1.00 0.92 1.08 1.31 0.77 1.38 0.85

time (sec)

N/A 0.152 0.003 0.029 0.202 0.245 0.051 0.359 5.581

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.93 0.87 0.87

time (sec)

N/A 0.151 0.010 0.025 0.191 0.234 0.054 0.357 0.024

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.149 0.002 0.026 0.206 0.241 0.059 0.345 0.027

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.150 0.003 0.027 0.192 0.235 0.064 0.293 0.027

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 15 15 15 15 15

N.S.

1 1.00 1.00 0.82 0.88 0.88 0.88 0.88 0.88

time (sec)

N/A 0.151 0.002 0.028 0.203 0.311 0.069 0.315 0.029

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 24 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.164 0.001 3.755 0.192 0.229 0.017 0.305 0.037

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.174 0.001 3.602 0.188 0.257 0.016 0.324 0.033

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 30 15 14 24 24 14 24

N.S.

1 1.00 1.88 0.94 0.88 1.50 1.50 0.88 1.50

time (sec)

N/A 0.143 0.001 3.640 0.192 0.248 0.018 0.311 0.035

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.174 0.002 3.593 0.203 0.239 0.016 0.284 0.032

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 22 21 21 20 21 21

N.S.

1 1.00 1.00 0.88 0.84 0.84 0.80 0.84 0.84

time (sec)

N/A 0.169 0.001 3.565 0.189 0.230 0.016 0.298 0.030

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 30 26 23 25 22 24 23 22

N.S.

1 1.15 1.00 0.88 0.96 0.85 0.92 0.88 0.85

time (sec)

N/A 0.172 0.001 3.636 0.188 0.267 0.037 0.295 0.030

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 24 23 25 19 23 24

N.S.

1 1.00 1.00 0.96 0.92 1.00 0.76 0.92 0.96

time (sec)

N/A 0.172 0.001 3.589 0.187 0.249 0.034 0.301 0.033

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 23 22 25 22 22 22

N.S.

1 1.00 1.00 0.88 0.85 0.96 0.85 0.85 0.85

time (sec)

N/A 0.167 0.001 3.695 0.194 0.253 0.043 0.286 0.036

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 28 27 24 25 27 24 32 23

N.S.

1 1.04 1.00 0.89 0.93 1.00 0.89 1.19 0.85

time (sec)

N/A 0.170 0.001 3.707 0.217 0.239 0.060 0.270 0.037

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 25 26 26 25 27

N.S.

1 1.00 1.00 0.89 0.89 0.93 0.93 0.89 0.96

time (sec)

N/A 0.168 0.001 3.611 0.186 0.239 0.068 0.270 0.028

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 22 22 26 22 22 23

N.S.

1 1.00 1.00 0.96 0.96 1.13 0.96 0.96 1.00

time (sec)

N/A 0.164 0.001 3.495 0.194 0.273 0.069 0.278 0.026

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 30 26 23 26 28 24 32 25

N.S.

1 1.15 1.00 0.88 1.00 1.08 0.92 1.23 0.96

time (sec)

N/A 0.176 0.001 3.552 0.188 0.246 0.098 0.281 0.046

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 25 26 26 27 26 25

N.S.

1 1.00 1.00 0.89 0.93 0.93 0.96 0.93 0.89

time (sec)

N/A 0.166 0.001 3.573 0.179 0.250 0.097 0.283 0.037

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 26 26 27 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.166 0.001 3.570 0.186 0.236 0.093 0.274 0.044

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 30 25 24 24 26 24 26

N.S.

1 1.00 1.58 1.32 1.26 1.26 1.37 1.26 1.37

time (sec)

N/A 0.140 0.001 3.543 0.191 0.235 0.107 0.280 0.040

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 26 26 27 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.169 0.001 3.577 0.191 0.240 0.112 0.275 0.038

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 26 26 27 26 26

N.S.

1 1.00 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.166 0.001 3.691 0.200 0.291 0.112 0.276 0.037

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 34 30 25 26 26 27 26 26

N.S.

1 1.13 1.00 0.83 0.87 0.87 0.90 0.87 0.87

time (sec)

N/A 0.170 0.001 3.605 0.227 0.274 0.120 0.283 0.041

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 36 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.84 0.81 0.81

time (sec)

N/A 0.184 0.003 3.650 0.182 0.235 0.019 0.281 0.043

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 36 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.84 0.81 0.81

time (sec)

N/A 0.185 0.002 3.689 0.196 0.234 0.023 0.296 0.044

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 35 35 36 35 35

N.S.

1 1.09 1.00 0.84 0.81 0.81 0.84 0.81 0.81

time (sec)

N/A 0.186 0.002 3.608 0.203 0.233 0.018 0.306 0.043

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 43 36 35 35 36 35 35

N.S.

1 1.12 1.26 1.06 1.03 1.03 1.06 1.03 1.03

time (sec)

N/A 0.178 0.003 3.624 0.193 0.252 0.020 0.275 0.042

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 43 15 14 35 36 14 35

N.S.

1 1.00 2.69 0.94 0.88 2.19 2.25 0.88 2.19

time (sec)

N/A 0.144 0.002 3.710 0.194 0.234 0.020 0.286 0.043

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 43 36 33 35 32 32 33 32

N.S.

1 1.19 1.00 0.92 0.97 0.89 0.89 0.92 0.89

time (sec)

N/A 0.176 0.003 3.618 0.191 0.255 0.042 0.284 0.036

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 42 37 34 34 38 34 44 33

N.S.

1 1.14 1.00 0.92 0.92 1.03 0.92 1.19 0.89

time (sec)

N/A 0.178 0.004 3.661 0.194 0.238 0.065 0.267 0.036

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 41 38 35 36 39 37 45 36

N.S.

1 1.08 1.00 0.92 0.95 1.03 0.97 1.18 0.95

time (sec)

N/A 0.180 0.004 3.620 0.186 0.250 0.102 0.280 5.435

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 43 37 34 39 39 37 45 35

N.S.

1 1.16 1.00 0.92 1.05 1.05 1.00 1.22 0.95

time (sec)

N/A 0.182 0.004 3.622 0.187 0.290 0.149 0.268 5.362

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 43 36 35 35 37 35 37

N.S.

1 1.00 2.26 1.89 1.84 1.84 1.95 1.84 1.95

time (sec)

N/A 0.149 0.004 3.665 0.190 0.305 0.163 0.275 0.028

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 43 36 37 37 39 37 37

N.S.

1 1.10 1.08 0.90 0.92 0.92 0.98 0.92 0.92

time (sec)

N/A 0.163 0.004 3.631 0.189 0.258 0.183 0.274 0.031

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 37 37 39 37 37

N.S.

1 1.09 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.180 0.004 3.622 0.184 0.243 0.192 0.284 0.032

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 47 43 36 37 37 39 37 37

N.S.

1 1.09 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.185 0.005 3.634 0.186 0.245 0.207 0.277 0.032

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.175 0.002 3.645 0.199 0.256 0.019 0.275 0.041

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.179 0.002 3.656 0.199 0.243 0.019 0.281 0.042

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.174 0.002 3.664 0.193 0.241 0.019 0.268 0.041

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 33 32 32 36 32 32

N.S.

1 1.00 1.00 0.87 0.84 0.84 0.95 0.84 0.84

time (sec)

N/A 0.170 0.001 3.627 0.201 0.250 0.019 0.274 0.040

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 36 35 37 36 35 35

N.S.

1 1.00 1.00 0.88 0.85 0.90 0.88 0.85 0.85

time (sec)

N/A 0.178 0.004 3.693 0.197 0.278 0.039 0.268 0.044

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 34 33 37 36 33 33

N.S.

1 1.00 1.00 0.87 0.85 0.95 0.92 0.85 0.85

time (sec)

N/A 0.173 0.006 3.620 0.203 0.251 0.045 0.271 0.046

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 36 36 37 39 36 38

N.S.

1 1.00 1.00 0.88 0.88 0.90 0.95 0.88 0.93

time (sec)

N/A 0.190 0.004 3.622 0.201 0.244 0.072 0.284 5.396

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 39 34 36 37 37 36 36

N.S.

1 1.00 1.00 0.87 0.92 0.95 0.95 0.92 0.92

time (sec)

N/A 0.182 0.005 3.587 0.193 0.370 0.078 0.271 0.039

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 36 38 37 39 38 38

N.S.

1 1.00 1.00 0.88 0.93 0.90 0.95 0.93 0.93

time (sec)

N/A 0.180 0.004 3.579 0.192 0.252 0.113 0.272 5.543

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 57 57 65 57 57

N.S.

1 1.06 1.00 0.84 0.83 0.83 0.94 0.83 0.83

time (sec)

N/A 0.212 0.002 3.612 0.221 0.266 0.022 0.287 0.026

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 57 57 66 57 57

N.S.

1 1.06 1.00 0.84 0.83 0.83 0.96 0.83 0.83

time (sec)

N/A 0.227 0.002 3.620 0.194 0.291 0.021 0.283 0.027

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 69 58 57 57 65 57 57

N.S.

1 1.06 0.96 0.81 0.79 0.79 0.90 0.79 0.79

time (sec)

N/A 0.213 0.002 3.604 0.192 0.292 0.024 0.294 0.026

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 69 58 57 57 66 57 57

N.S.

1 1.08 1.30 1.09 1.08 1.08 1.25 1.08 1.08

time (sec)

N/A 0.197 0.002 3.591 0.195 0.271 0.024 0.277 0.026

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 69 58 57 57 66 57 57

N.S.

1 1.12 2.03 1.71 1.68 1.68 1.94 1.68 1.68

time (sec)

N/A 0.176 0.002 3.622 0.199 0.280 0.024 0.277 0.024

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 69 15 14 57 65 14 57

N.S.

1 1.00 4.31 0.94 0.88 3.56 4.06 0.88 3.56

time (sec)

N/A 0.141 0.002 3.610 0.213 0.256 0.027 0.257 0.025

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 65 56 58 55 65 56 55

N.S.

1 1.03 1.00 0.86 0.89 0.85 1.00 0.86 0.85

time (sec)

N/A 0.200 0.004 3.611 0.200 0.268 0.050 0.274 0.029

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 66 57 58 61 65 67 56

N.S.

1 1.00 1.00 0.86 0.88 0.92 0.98 1.02 0.85

time (sec)

N/A 0.209 0.005 3.737 0.200 0.250 0.075 0.269 0.030

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 68 66 57 59 61 65 69 59

N.S.

1 1.03 1.00 0.86 0.89 0.92 0.98 1.05 0.89

time (sec)

N/A 0.207 0.004 3.617 0.208 0.280 0.122 0.281 0.029

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 68 66 57 61 61 65 71 59

N.S.

1 1.03 1.00 0.86 0.92 0.92 0.98 1.08 0.89

time (sec)

N/A 0.207 0.006 3.642 0.231 0.242 0.168 0.277 0.041

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 65 66 57 61 61 63 69 59

N.S.

1 0.98 1.00 0.86 0.92 0.92 0.95 1.05 0.89

time (sec)

N/A 0.200 0.004 3.578 0.191 0.245 0.214 0.277 0.044

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 67 65 56 61 61 61 67 58

N.S.

1 1.03 1.00 0.86 0.94 0.94 0.94 1.03 0.89

time (sec)

N/A 0.207 0.004 3.580 0.185 0.241 0.266 0.273 5.505

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 69 58 57 57 61 57 59

N.S.

1 1.00 3.63 3.05 3.00 3.00 3.21 3.00 3.11

time (sec)

N/A 0.145 0.004 3.655 0.203 0.241 0.297 0.264 0.042

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 69 58 59 59 63 59 59

N.S.

1 1.10 1.72 1.45 1.48 1.48 1.58 1.48 1.48

time (sec)

N/A 0.163 0.004 3.584 0.198 0.294 0.311 0.268 5.506

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 72 69 58 59 59 63 59 59

N.S.

1 1.16 1.11 0.94 0.95 0.95 1.02 0.95 0.95

time (sec)

N/A 0.175 0.007 3.526 0.203 0.303 0.330 0.296 5.390

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 69 58 59 59 63 59 59

N.S.

1 1.03 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.207 0.004 3.615 0.197 0.267 0.356 0.273 0.045

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 73 69 58 59 59 63 59 59

N.S.

1 1.06 1.00 0.84 0.86 0.86 0.91 0.86 0.86

time (sec)

N/A 0.206 0.004 3.590 0.197 0.281 0.381 0.266 0.047

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 69 58 57 57 66 57 57

N.S.

1 1.00 1.00 0.84 0.83 0.83 0.96 0.83 0.83

time (sec)

N/A 0.199 0.002 3.638 0.190 0.262 0.022 0.272 0.027

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 66 57 56 56 63 56 56

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.201 0.004 3.636 0.201 0.275 0.021 0.269 0.025

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 66 57 56 56 63 56 56

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.95 0.85 0.85

time (sec)

N/A 0.202 0.002 3.630 0.203 0.267 0.023 0.277 0.023

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 54 53 53 60 53 53

N.S.

1 1.00 1.00 0.89 0.87 0.87 0.98 0.87 0.87

time (sec)

N/A 0.202 0.001 3.622 0.198 0.255 0.021 0.282 0.023

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 58 57 59 61 57 57

N.S.

1 1.00 1.00 0.89 0.88 0.91 0.94 0.88 0.88

time (sec)

N/A 0.199 0.004 3.633 0.195 0.277 0.051 0.286 0.027

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 56 55 59 61 55 55

N.S.

1 1.00 1.00 0.86 0.85 0.91 0.94 0.85 0.85

time (sec)

N/A 0.194 0.004 3.706 0.197 0.275 0.057 0.275 0.026

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 63 58 58 59 63 58 60

N.S.

1 1.00 1.00 0.92 0.92 0.94 1.00 0.92 0.95

time (sec)

N/A 0.194 0.007 3.570 0.191 0.271 0.082 0.291 0.026

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 65 56 58 59 65 58 58

N.S.

1 1.00 1.00 0.86 0.89 0.91 1.00 0.89 0.89

time (sec)

N/A 0.195 0.003 3.608 0.199 0.269 0.082 0.263 0.027

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 62 57 59 59 61 59 59

N.S.

1 1.00 1.00 0.92 0.95 0.95 0.98 0.95 0.95

time (sec)

N/A 0.197 0.004 3.587 0.196 0.264 0.123 0.263 0.047

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 61 56 56 59 61 56 57

N.S.

1 1.00 1.00 0.92 0.92 0.97 1.00 0.92 0.93

time (sec)

N/A 0.190 0.004 3.584 0.197 0.268 0.119 0.283 0.048

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 133 108 91 90 90 105 90 90

N.S.

1 1.03 0.84 0.71 0.70 0.70 0.81 0.70 0.70

time (sec)

N/A 0.258 0.002 3.607 0.218 0.290 0.028 0.264 0.107

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 114 108 91 90 90 107 90 90

N.S.

1 1.04 0.98 0.83 0.82 0.82 0.97 0.82 0.82

time (sec)

N/A 0.247 0.002 3.640 0.188 0.263 0.028 0.267 0.094

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 108 91 90 90 107 90 90

N.S.

1 1.04 1.19 1.00 0.99 0.99 1.18 0.99 0.99

time (sec)

N/A 0.236 0.004 3.630 0.199 0.292 0.035 0.266 0.103

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 108 91 90 90 107 90 90

N.S.

1 1.06 1.50 1.26 1.25 1.25 1.49 1.25 1.25

time (sec)

N/A 0.219 0.002 3.627 0.203 0.258 0.031 0.277 0.116

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 57 108 91 90 90 107 90 90

N.S.

1 1.08 2.04 1.72 1.70 1.70 2.02 1.70 1.70

time (sec)

N/A 0.201 0.002 3.639 0.204 0.290 0.030 0.276 5.594

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 38 108 91 90 90 107 90 90

N.S.

1 1.12 3.18 2.68 2.65 2.65 3.15 2.65 2.65

time (sec)

N/A 0.178 0.002 3.565 0.200 0.293 0.030 0.263 0.092

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 108 15 14 90 105 14 14

N.S.

1 1.00 6.75 0.94 0.88 5.62 6.56 0.88 0.88

time (sec)

N/A 0.141 0.002 3.646 0.196 0.284 0.032 0.273 5.691

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 104 89 91 88 105 89 88

N.S.

1 1.02 1.00 0.86 0.88 0.85 1.01 0.86 0.85

time (sec)

N/A 0.239 0.004 3.735 0.193 0.279 0.063 0.289 0.055

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 103 105 90 91 94 105 100 89

N.S.

1 0.98 1.00 0.86 0.87 0.90 1.00 0.95 0.85

time (sec)

N/A 0.242 0.007 3.645 0.194 0.272 0.087 0.273 0.059

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 103 105 90 92 94 105 102 92

N.S.

1 0.98 1.00 0.86 0.88 0.90 1.00 0.97 0.88

time (sec)

N/A 0.251 0.004 3.590 0.193 0.301 0.131 0.272 5.599

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 101 105 90 92 94 104 102 92

N.S.

1 0.96 1.00 0.86 0.88 0.90 0.99 0.97 0.88

time (sec)

N/A 0.242 0.008 3.626 0.204 0.276 0.185 0.297 5.500

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 103 105 90 94 94 104 104 92

N.S.

1 0.98 1.00 0.86 0.90 0.90 0.99 0.99 0.88

time (sec)

N/A 0.244 0.005 3.638 0.188 0.320 0.238 0.291 0.075

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 101 105 90 94 94 102 104 92

N.S.

1 0.96 1.00 0.86 0.90 0.90 0.97 0.99 0.88

time (sec)

N/A 0.239 0.006 3.628 0.193 0.275 0.298 0.309 5.402

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 103 105 90 94 94 100 104 92

N.S.

1 0.98 1.00 0.86 0.90 0.90 0.95 0.99 0.88

time (sec)

N/A 0.236 0.004 3.682 0.193 0.289 0.366 0.331 5.453

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 102 105 90 94 94 99 102 94

N.S.

1 0.97 1.00 0.86 0.90 0.90 0.94 0.97 0.90

time (sec)

N/A 0.239 0.008 3.764 0.204 0.323 0.445 0.280 0.075

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 104 89 94 94 97 100 91

N.S.

1 1.02 1.00 0.86 0.90 0.90 0.93 0.96 0.88

time (sec)

N/A 0.238 0.004 3.646 0.188 0.307 0.511 0.296 0.071

[next] [prev] [prev-tail] [front] [up]